Random subtree correlations edition 1 — public publication package

Scott Schubr
Existing edition: https://luminaryoddities.com/researcharchive/sharp-lower-bound-adjacent-edge-correlations-random-subtrees/v/1
Manuscript: manuscript/main.pdf

The package contains the manuscript, editable source and accompanying public research materials. Public file hashes.json identifies the listed file bytes. Read the manuscript for the proofs and the reproduction instructions below for finite checks.

No new licence or public reuse permission is granted.

Compile manuscript/main.tex with the packages it lists. To rerun the finite
diagnostic, copy verification/independent_check.py into a separate new work
directory and run ordinary Python there:
  python -B independent_check.py
Do not use -O or -OO: the original program uses assertions. It writes its result
beside the script. Finite checks accompany the analytic proof.
